 |
0 索取号:H052/E993.2 作者:Booth、 Vernon.、 出版社:Beijng : Tsinghua University Press, 1999.
|  |
0 索取号:TP31/E9029 作者:Gries、 David、 1939-、 出版社:New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP31/E8025 作者:Brady、 J. M.、 出版社:London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1977.
|  |
0 索取号:TP302/E9029/2 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|
 |
0 索取号:TP302/E9029/1 作者:NATO Advanced Study Institute on Information Science (1978 : Crete、 Greece)、Debons、 A.、Larson、 Arvid G.、 出版社:The Hague ; Boston : M. Nijhoff ; Hingham, MA : Distributors for the U.S. and Canada, Kluwer Boston, 1983.
|  |
0 索取号:TP301-53/E991/6 作者:Symposium on Logic in Computer Science (6th : 1991 : Amsterdam、 Netherlands)、IEEE Xplore (Online service).、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、 出版社:Los Alamitos, Calif. : IEEE Computer Society Press, c1991.
|
 |
0 索取号:TP301-53/E991/1986 作者:Symposium on Logic in Computer Science (1986 : Cambridge、 Mass.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、ACM Special Interest Group for Automata and Computability Theory.、Association for Symbolic Logic.、European Association for Theoretical Computer Science.、 出版社:Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
|  |
0 索取号:TP301/E994 作者: 出版社:N.Y. Boston : Academic Press, 1992.
|
 |
0 索取号:TP301/E901 作者:Davis、 Martin、 1928-、Weyuker、 Elaine J.、 出版社:New York : Academic Press, 1983.
|  |
0 索取号:O24-53/E803/13 作者:ACM Symposium on Theory of Computing (13th : 1981 : Milwaukee、 Wis.)、ACM Special Interest Group for Automata and Computability Theory.、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science.、 出版社:New York, N.Y. : ACM ; Baltimore, MD : Additional copies may be orderd from ACM Order Dept., 1981.
|
 |
0 索取号:TP30-61/E801 作者: 出版社:New York M. Dekker [1975]-<c1988 >
|  |
0 索取号:TP3-61/E901.2 作者: 出版社:New York : Van Nostrand Reinhold Co., 1983.
|
 |
0 索取号:TP3-61/E803 作者: 出版社:New York : Petrocelli/Charter, 1976.
|  |
0 索取号:TP3-53/E8015/4 作者:GI-Fachtagung Theoretische Informatik (4th : 1979 : Aachen)、Weihrauch、 K. (Klaus)、 1943-、Gesellschaft für Informatik.、 出版社:Berlin ; New York : Springer-Verlag, 1979.
|
 |
0 索取号:TP3-53/E8014/1978 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (7th : 1978 : Zakopane、 Poland)、Winkowski、 J́Оzef、 1934-、 出版社:Berlin ; New York : Springer-Verlag, 1978.
|  |
0 索取号:TP3-53/E8014/1977 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (6th : 1977 : TatransḱА Lomnica、 Czechoslovakia)、Gruska、 Jozef.、 出版社:Berlin ; New York : Springer-Verlag, 1977.
|